1. <A> First Course in Mathematical Logic and Set Theory
پدیدآورنده : \ Michael L. O'Leary
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Logic, symbolic and mathematical,Mathematics,Set theory,منطق ریاضی,ریاضیات,نظریه مجموعهها,a03,a04,a05,a03,a04,a05
رده :
QA
9
.
O4F5
2016
E-Book
,
2. A first course in mathematical logic and set theory /
پدیدآورنده : Michael L. O'Leary
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Logic, Symbolic and mathematical,Mathematics,Set theory
رده :
QA9
3. A formalization of set theory without variables
پدیدآورنده : Tarski, Alfred.
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Set theory,، Logic, Symbolic and mathematical
رده :
QA
248
.
T37
1987
4. A formalization of set theory without variables
پدیدآورنده : Tarski, Alfred
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، Set theory,، Logic, Symbolic and mathematical
رده :
QA
248
.
T37
1987
5. A formalization of set theory without variables
پدیدآورنده : TARSKI,ALFRED
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع : SET THEORY , LOGIC,SYMBOLIC & MATHEMATICAL
رده :
QA
248
.
T37
6. A formalization of set theory without variables
پدیدآورنده : Tarski, Alfred
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Set theory,، Logic, Symbolic and mathematical
رده :
QA
248
.
T37
7. A formalization of set theory without variables /
پدیدآورنده : by Alfred Tarski and Steven Givant.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Logic, Symbolic and mathematical.,Set theory.,Logic, Symbolic and mathematical.,Ensembles, Théorie des.,Logique symbolique et mathématique.,Axiomatische Mengenlehre,Axiomatische Mengenlehre.,Logic, Symbolic and mathematical.,Mathematische Logik,Mathematische Logik.,Mengenlehre,Mengenlehre.,Set theory.,Teoria Dos Conjuntos.,Verzamelingen (wiskunde)
رده :
QA248
.
T37
1987
8. A set of new Smarandache functions, sequences and conjectures in number theory /
پدیدآورنده : Felice Russo.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Smarandache notions.,MATHEMATICS-- Number Theory.,Smarandache notions.
رده :
QA241
9. A set theory workbook
پدیدآورنده : Adamson, Iain T.
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع : Set theory
رده :
QA
248
.
A27
1998
10. A set theory workbook
پدیدآورنده : Adamson, Iain T.
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Set theory
رده :
QA
248
.
A3
11. AXIOMATIC SET THEORY
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشكده نفت اهواز (خوزستان)
موضوع :
رده :
QA
,
248
,
S92
12. Abstract set theory
پدیدآورنده :
کتابخانه: کتابخانه مرکزی، مرکز اسناد و موزه دانشگاه شهید بهشتی (تهران)
موضوع : Logic, symbolic and mathematical,Algebra, abstract
رده :
512
.
8
Fr-A
13. Abstract set theory
پدیدآورنده : Fraenkel, Abraham Adolf
موضوع : ، Set theory
۴ نسخه از این کتاب در ۳ کتابخانه موجود است.
14. Abstract sets and finite ordinals. An introduction to the study of set theory
پدیدآورنده :
کتابخانه: کتابخانه مرکزی، مرکز اسناد و موزه دانشگاه شهید بهشتی (تهران)
موضوع : Mathematics,Calculus
رده :
517
.
521
Ke
15. Algebra, logic, set theory :
پدیدآورنده : edited by Benedikt Löwe
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Algebraic logic,Set theory
16. Algebraic set theory
پدیدآورنده : Joyal, Andre
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : ، Set theory
رده :
QA
248
.
J69
1995
17. Algebraic set theory
پدیدآورنده : Joyal, Andre
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Set theory
رده :
QA
248
.
J69
18. Algebras-Combinatorial Set Theory of C
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Algebra ; Study and teaching
19. An Introduction to the Technique of Formative Processes in Set Theory
پدیدآورنده : Cantone, Domenico
کتابخانه: کتابخانه مرکز پژوهش متالورژی رازی (تهران)
موضوع :
رده :
G
87
.
S9
2018
20. <An> Ontological and Epistemological Perspective of Fuzzy Set Theory
پدیدآورنده : I. Burhan Turksen
کتابخانه: كتابخانه مركزی و مركز اطلاع رسانی دانشگاه شاهد (تهران)
موضوع : Mathematics- Study and teaching
رده :
QA
،
11
.
2
،.
T8
,
O6
،
2006